Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
181	Mereotopology: A Theory of Parts and Boundaries Barry Smith Department of Philosophy and Member of the Center for Cognitive Science University at Buffalo Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2002-03-18 11:17:58 Mathematical logic Mathematics Logic Ontology General topology Predicate logic Topology Mereotopology Mereology Closure First-order logic Topological space
182	EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY EUSFLAT MINUTES OF THE ASSEMBLY OF THE Add to Reading List Source URL: www.eusflat.org Language: English - Date: 2011-12-12 02:22:47 Fuzzy logic Logic European Society for Fuzzy Logic and Technology Artificial intelligence Logic in computer science Philosophy of logic
183	scepticism about self-knowledge 237 Blackwell Publishing Ltd.Oxford, UK and Malden, USAANALAnalysis0003Blackwell Publishing Ltd.July 200565323744ArticlesGary Ebbs scepticism about self-knowledge Add to Reading List Source URL: garyebbs.net Language: English - Date: 2007-10-12 12:32:57 Philosophy Logic Philosophical methodology Arguments Epistemology Criticism of science Philosophical skepticism Transcendental arguments Premise Transcendental argument for the existence of God Argument
184	Revisiting the Ontological Square Luc SCHNEIDER 1 , Institute for Formal Ontology and Medical Information Science, Universität des Saarlandes, Saarbrücken, Germany Abstract. Considerations regarding predication in ordi Add to Reading List Source URL: ifomis.uni-saarland.de Language: English - Date: 2014-05-09 08:16:43 Logic Mathematical logic Model theory Metalogic Interpretation Philosophy of mind Semantics First-order logic Constructible universe Linear temporal logic operator
185	Scalable Flow-Based Community Detection for Large-Scale Network Analysis Seung-Hee Bae∗ , Daniel Halperin∗ , Jevin West† , Martin Rosvall‡ and Bill Howe∗ ∗ Department of Computer Science and Engineering, Uni Add to Reading List Source URL: www.jevinwest.org Language: English - Date: 2015-11-11 00:05:03 Mathematics Computational complexity theory NP-complete problems Algorithm Mathematical logic Theoretical computer science Graph partition Community structure Connectivity
186	Embodied Pragmatics and the Evolution of Language Add to Reading List Source URL: www.humanamente.eu Language: English - Date: 2015-10-12 08:42:18 Academia Philosophy Linguistics Philosophical logic Human communication Meaning Cognitive science Pragmatics Language Semantics Truth Models of communication
187	DONALD DAVIDSON BELIEF AND Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Philosophy Logic Cognitive science Philosophy of language Philosophical logic Semantics Meaning Epistemology Donald Davidson Truth Relevance Theory
188	I N F S Y S RESEARCH R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2003-04-22 21:23:23 Philosophy Epistemology Metaphysics Causality Philosophy of science Formal epistemology Reasoning Bayesian network Probabilistic logic Determinism Causal model Abductive reasoning
189	A BDD Representation for Positive Equational Formulas Wenxin Song, Eugene W. Stark? Department of Computer Science State University of New York at Stony Brook Add to Reading List Source URL: bsd7.cs.sunysb.edu Language: English - Date: 2008-07-02 09:38:12 Mathematics Logic Mathematical logic Boolean algebra Formal languages Model theory Binary decision diagram Model checking IP Boolean satisfiability problem Constructible universe Well-formed formula
190	Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Theoretical computer science Mathematical logic Logic Lambda calculus Models of computation Computability theory Let expression Symbol Substitution Type system Security type system

UPDATE